Penalization Framework For Autonomous Agents Using Answer Set Programming

نویسندگان

چکیده

This paper presents a framework for enforcing penalties on intelligent agents that do not comply with authorization or obligation policies in changing environment. A is proposed to represent and reason about plans, an algorithm penalize agent's actions based their level of compliance respect policies. Being aware agent can choose plan minimal total penalty, unless there emergency goal like saving human's life. The concludes this reprimand insubordinate agents.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reasoning about Truthfulness of Agents Using Answer Set Programming

This paper describes a declarative framework for representing and reasoning about truthfulness of agents using Answer Set Programming. The paper illustrates how, starting from observations, knowledge about the actions of the agents, and the normal behavior of agents, one can evaluate the statements made by agents against a set of observations over time. The paper presents an ASP program for com...

متن کامل

Using Answer Set Programming for pattern mining

Serial pattern mining consists in extracting the frequent sequential patterns from a unique sequence of itemsets. This paper explores the ability of a declarative language, such as Answer Set Programming (ASP), to solve this issue efficiently. We propose several ASP implementations of the frequent sequential pattern mining task: a non-incremental and an incremental resolution. The results show ...

متن کامل

T-LAIMA: Answer Set Programming for Modelling Agents with Trust

In a time where multi-agent systems (MAS) become increasingly more popular, they come in many forms and shapes depending on the requirements of the agents that need to populate them. Amongst the more demanding properties with respect to the design and implementation is how these agents may individually reason and communicate about their knowledge and beliefs, with a view to cooperation and coll...

متن کامل

An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents

We propose a framework for answering the question of whether statements made by an agent can be believed, in light of observations made over time. The basic components of the framework are a formalism for reasoning about actions, changes, and observations and a formalism for default reasoning. The framework is suitable for concrete implementation, e.g., using answer set programming for assertin...

متن کامل

A semantic framework for preference handling in answer set programming

We provide a semantic framework for preference handling in answer set programming. To this end, we introduce preference preserving consequence operators. The resulting fixpoint characterizations provide us with a uniform semantic framework for characterizing preference handling in existing approaches. Although our approach is extensible to other semantics by means of an alternating fixpoint the...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Electronic proceedings in theoretical computer science

سال: 2023

ISSN: ['2075-2180']

DOI: https://doi.org/10.4204/eptcs.385.50